композиция морфизмов

См. также в других словарях:

• ДВОЙСТВЕННАЯ КАТЕГОРИЯ — дуальная категория, к категории С категория С° с теми же объектами, что и С и с множествами морфизмов ( обращение стрелок ). Композиция морфизмов ис vв категории С° определяется как композиция uс ив С. Понятия и утверждения, относящиеся к …   Математическая энциклопедия

• Двойственная категория — или дуальная категория, к категории   категория с теми же объектами, что и и с множествами морфизмов («обращение стрелок»). Композиция морфизмов в и в категории определяется как композиция …   Википедия

• АДДИТИВНАЯ КАТЕГОРИЯ — категория С, в к рой для любых двух объектов на множестве морфиз мов определена структура абелевой группы таким образом, что композиция морфизмов является билинейным отображением. Кроме того, требуется, чтобы в Ссуществовал нулевой объект (или… …   Математическая энциклопедия

• ПОСЛЕДОВАТЕЛЬНОСТЕЙ КАТЕГОРИЯ — частный случай общей конструкции категории функторов или категории диаграмм. Пусть множество целых чисел, снабженное обычным отношением порядка. Тогда можно рассматривать как малую категорию, объектами к рой являются целые числа, а морфизмами… …   Математическая энциклопедия

• Предаддитивная категория — В теории категорий категория называется предаддитивной, если для любых объектов и множество имеет структуру абелевой группы по сложению, при этом композиция морфизмов билинейна: Предаддитивную категорию иногда называют т …   Википедия

• Теория категорий — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Теория категорий занимает центральное место в современной математике[1], она также нашла… …   Википедия

• Категория (математика) — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Контравариантный функтор — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• Морфизм — Теория категорий  раздел математики, изучающий свойства отношений между математическими объектами, не зависящие от внутренней структуры объектов. Некоторые математики[кто?] считают теорию категорий слишком абстрактной и непригодной для… …   Википедия

• СЕПАРАБЕЛЬНОЕ ОТОБРАЖЕНИЕ — доминантный морфизм f неприводимых алгебраич. многообразий Xи , для к рого поле K(X)является сепарабельным расширением подполя f* K(Y)(изоморфного K(Y). ввиду доминантности). Несепарабельные отображения существуют только тогда, когда… …   Математическая энциклопедия

• Коммутативная диаграмма — В математике (особенно в теории категорий), коммутативная диаграмма изображаемая в наглядном виде структура наподобие графа, вершинами которой служат объекты определённой категории, а рёбрами морфизмы. Коммутативность означает, что для любых… …   Википедия